🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Feeds to Scour
SubscribedAll
Scoured 15555 posts in 355.7 ms
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.to·18h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Reflexive graph lenses in univalent foundations
arxiv.org·1d
🔶Cubical Type Theory
Preview
Report Post
Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·14h
🌊Stream Processing
Preview
Report Post
Binary and Digital Gradients for Telling Time
hackaday.com·2h
⏱️SMPTE Timecode
Preview
Report Post
Tracing the Data Trail: A Survey of Data Provenance, Transparency and Traceability in LLMs
arxiv.org·3h
🛡️Proof-Carrying Data
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·1h·
Discuss: Hacker News
🤝Consensus Algorithms
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·6h
⚡Effectful Programming
Preview
Report Post
Making a Language
thunderseethe.dev·9h
🛠Language Design
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·15h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·15h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
Software as clay on the wheel
dri.es·1d
⚡Proof Automation
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·17h
🧩WASM Components
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·17h
🏠Homelab Orchestration
Preview
Report Post
Show HN: Multi-cloud cost visibility with latency rings and GDP data
news.ycombinator.com·14h·
Discuss: Hacker News
📊Homelab Monitoring
Preview
Report Post
Graphics APIs – Yesterday, Today, and Tomorrow
asawicki.info·1d·
Discuss: Hacker News
🎬WebCodecs
Preview
Report Post
High-Availability Feature Flagging at Databricks
databricks.com·12h·
Discuss: Hacker News
🛡️Error Boundaries
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·16h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
The three types of LLM workloads and how to serve them
modal.com·15h·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Codeless: From idea to software
anildash.com·8h
🚀Indie Hacking
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help